#  -*- sh -*-
if  [ -z "$*" ]
then  bash --init-file etc/boot.sh -i
else  bash  -c ". etc/boot.sh; $*"
fi
